home *** CD-ROM | disk | FTP | other *** search
/ Amiga Tools 2 / Amiga Tools 2.iso / tools / gedscripts / pastex / quit_tex.ged < prev    next >
Text File  |  1995-03-09  |  392b  |  20 lines
  1. /*
  2. ** ARexx Script to stop the "Start_TeX" script.
  3. **
  4. **                      19.08.90        Georg Hessmann
  5. */
  6.  
  7. address "GOLDED.1"
  8.  
  9. OPTIONS RESULTS
  10.  
  11. IF (SHOW('P', 'Start_TeX')) THEN DO
  12.         'REQUEST BODY="Really stop ARexx TeX-server ?" BUTTON="Yep|Nope"'
  13.         if (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
  14.         END
  15. ELSE
  16.         'REQUEST BODY="No TeX Server to quit"'
  17.  
  18. EXIT 0
  19.  
  20.